void rust_main();